alethic logics

[网络] 真势模态逻辑
(alethic logic 的复数)